3307 search results - page 135 / 662 » The meaning of concurrent programs |
91
Voted
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
104
Voted
ITC
1999
IEEE
15 years 5 months ago
1999
IEEE
A new synthesis technique for designing finite state machines with on-line parity checking is presented. The output logic and the next-state logic of the finite state machines are...
133
Voted
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
98
Voted
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
94
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...