10707 search results - page 294 / 2142 » Designing executable abstractions |
130
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault tolerant distributed protocols typically utilize a homogeneous fault model, either fail-crash or fail-Byzantine, where all processors are assumed to fail in the same manner....
116
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
119
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
162
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
128
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is...