Fractal Consistency: Architecting the Memory System to Facilitate Verification

Mental models, consistency and programming aptitude

Richard Bornat
Saeed Dehnadi
See Profile
Richard Bornat
Saeed Dehnadi Simon

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

An Approach for Designing and Implementing Eager and lazy Data Replication

Mohamed Hegazi
Mohamed Osman
Ali Hegazi

January 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Handling Variability in software architecture: problems and implications

Paris Avgeriou
See Profile
Matthias Galster
Paris Avgeriou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fractal Consistency: Architecting the Memory System to Facilitate Verification

Meng Zhang
Alvin R. Lebeck
Daniel J. Sorin

October 2016

Abstract—One of the most challenging problems in developing a multicore processor is verfiying that ...

Fractal’ Types: an Attempt to Generalize Hash Table Calculation

José Nuno Oliveira
See Profile
Available José
Nuno Oliveira
J. N. Oliveira

January 1998

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Time-Consistency

Xuan Liu

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fast feature selection using fractal dimension

Caetano Traina
Agma Traina
See Profile
Caetano Traina
Agma Traina
Christos Faloutsos

January 2000

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory System Architecture Justin Teller

See Profile
Charles B. Silio
Bruce Jacob

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

A.: Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords

Jeremiah Blocki
Saranga Komanduri
Lorrie Cranor
Jeremiah Blocki
Saranga Komanduri
Lorrie Cranor
Anupam Datta

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment

Frederic Bastien
Université De Montréal
Frederic Rousseau
Julie Vachon
El Mostapha Aboulhamid
Université De Montréal
M. Metzger
F. Bastien
F. Rousseau
J. Vachon
E. M. Aboulhamid

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

On OO design consistency in iterative development

Umesh Bellur
See Profile
Umesh Bellur
Vallieswaran V

January 2006

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory characteristics of iterative methods

Wolfgang Karl
Markus Kowarschik
Ulrich Rüde
Christian Weißy
Wolfgang Karly
Markus Kowarschikyy

January 1999

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

replication

Barak Akabayov
Sabine Akabayov
Seung-joo Lee
Gerhard Wagner
Barak Akabayov
Sabine R. Akabayov
Seung-joo Lee
Gerhard Wagner
Charles C. Richardson

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Problem Structure And Dependable Architecture

Michael Jackson
See Profile
Michael Jackson

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory variability is due to the contribution of recollection and familiarity, not to encoding variability

Joshua D Koen
See Profile
Joshua D. Koen
Andrew P. Yonelinas

January 2010

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Mental models, consistency and programming aptitude

Richard Bornat
Saeed Dehnadi
See Profile
Richard Bornat
Saeed Dehnadi Simon

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

An Approach for Designing and Implementing Eager and lazy Data Replication

Mohamed Hegazi
Mohamed Osman
Ali Hegazi

January 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Handling Variability in software architecture: problems and implications

Paris Avgeriou
See Profile
Matthias Galster
Paris Avgeriou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fractal Consistency: Architecting the Memory System to Facilitate Verification

Meng Zhang
Alvin R. Lebeck
Daniel J. Sorin

October 2016

Abstract—One of the most challenging problems in developing a multicore processor is verfiying that ...

Fractal’ Types: an Attempt to Generalize Hash Table Calculation

José Nuno Oliveira
See Profile
Available José
Nuno Oliveira
J. N. Oliveira

January 1998

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Time-Consistency

Xuan Liu

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fast feature selection using fractal dimension

Caetano Traina
Agma Traina
See Profile
Caetano Traina
Agma Traina
Christos Faloutsos

January 2000

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory System Architecture Justin Teller

See Profile
Charles B. Silio
Bruce Jacob

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

A.: Spaced Repetition and Mnemonics Enable Recall of Multiple Strong Passwords

Jeremiah Blocki
Saranga Komanduri
Lorrie Cranor
Jeremiah Blocki
Saranga Komanduri
Lorrie Cranor
Anupam Datta

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment

Frederic Bastien
Université De Montréal
Frederic Rousseau
Julie Vachon
El Mostapha Aboulhamid
Université De Montréal
M. Metzger
F. Bastien
F. Rousseau
J. Vachon
E. M. Aboulhamid

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

On OO design consistency in iterative development

Umesh Bellur
See Profile
Umesh Bellur
Vallieswaran V

January 2006

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory characteristics of iterative methods

Wolfgang Karl
Markus Kowarschik
Ulrich Rüde
Christian Weißy
Wolfgang Karly
Markus Kowarschikyy

January 1999

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

replication

Barak Akabayov
Sabine Akabayov
Seung-joo Lee
Gerhard Wagner
Barak Akabayov
Sabine R. Akabayov
Seung-joo Lee
Gerhard Wagner
Charles C. Richardson

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Problem Structure And Dependable Architecture

Michael Jackson
See Profile
Michael Jackson

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Memory variability is due to the contribution of recollection and familiarity, not to encoding variability

Joshua D Koen
See Profile
Joshua D. Koen
Andrew P. Yonelinas

January 2010

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Mental models, consistency and programming aptitude

Richard Bornat
Saeed Dehnadi
See Profile
Richard Bornat
Saeed Dehnadi Simon

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

An Approach for Designing and Implementing Eager and lazy Data Replication

Mohamed Hegazi
Mohamed Osman
Ali Hegazi

January 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Handling Variability in software architecture: problems and implications

Paris Avgeriou
See Profile
Matthias Galster
Paris Avgeriou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fractal Consistency: Architecting the Memory System to Facilitate Verification

Abstract

Extracted data

Fractal Consistency: Architecting the Memory System to Facilitate Verification

Abstract

Extracted data

Related items

Related items