15840 search results - page 348 / 3168 » The Control of Synchronous Systems |
132
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
128
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
173
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Wide SIMD-based GPUs have evolved into a promising platform for running general purpose workloads. Current programmable GPUs allow even code with irregular control to execute well...
296
click to vote
ICDE
2000
IEEE
16 years 5 months ago
2000
IEEE
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
152
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we study desynchronization, a closelyrelated primitive to graph coloring. A valid graph coloring is an assignment of colors to nodes such that no node’s color is t...