4604 search results - page 198 / 921 » Concurrency in Synchronous Systems |
149
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
131
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
145
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
131
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
147
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. Data stream systems execute a dynamic workload of longrunning and one-time queries, with the streaming inputs typically bounded by sliding windows. For efficiency, window...