1915 search results - page 226 / 383 » A language for functional interpretation of model based simu... |
126
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Microprocessors and memory systems su er from a growing gap in performance. We introduce Active Pages, a computation model which addresses this gap by shifting data-intensive comp...
153
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
141
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
139
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
144
click to vote
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...