7557 search results - page 146 / 1512 » Modeling Timed Concurrent Systems |
115
click to vote
PVLDB
2008
15 years 4 months ago
2008
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
171
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
166
click to vote
CONCURRENCY
2010
15 years 2 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
168
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...