932 search results - page 92 / 187 » Verifying Progress in Timed Systems |
163
click to vote
DT
2006
15 years 4 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
149
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
156
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
129
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
Environmental information systems (EIS) have been in professional use for quite a long time. Applications of this domain often include features of quite common location based servi...
159
click to vote
SIAMSC
2010
15 years 2 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...