748 search results - page 86 / 150 » concurrency 2008 |
102
Voted
TAAS
2008
15 years 14 days ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...
CERA
2005
15 years 13 days ago
2005
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
104
Voted
TASE
2008
IEEE
15 years 14 days ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
101
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
96
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...