2364 search results - page 442 / 473 » An Engine for Computing Well-Founded Models |
186
Voted
PROMISE
2010
14 years 10 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
122
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...
134
click to vote
PODC
2009
ACM
16 years 4 months ago
2009
ACM
In the interference scheduling problem, one is given a set of n communication requests described by pairs of points from a metric space. The points correspond to devices in a wire...
131
Voted
EUROSYS
2009
ACM
16 years 25 days ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
134
Voted
EUROSYS
2008
ACM
16 years 25 days ago
2008
ACM
The tuple space coordination model is one of the most interesting coordination models for open distributed systems due to its space and time decoupling and its synchronization pow...