742 search results - page 64 / 149 » Set-based Concurrent Engineering |
137
Voted
IOLTS
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
134
click to vote
ESTIMEDIA
2003
Springer
15 years 9 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
118
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
107
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...
135
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...