2227 search results - page 326 / 446 » Reversibility and Models for Concurrency |
176
Voted
BIRTHDAY
2004
Springer
16 years 11 days ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
157
click to vote
CONCUR
2004
Springer
16 years 10 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
212
click to vote
INFOCOM
2003
IEEE
16 years 7 days ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
173
Voted
IPPS
2003
IEEE
16 years 7 days ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
157
Voted
ITC
2003
IEEE
16 years 7 days ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...