1768 search results - page 218 / 354 » A Logic for Algebraic Effects |
190
click to vote
SC
2005
ACM
16 years 19 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
182
Voted
CISC
2005
Springer
16 years 18 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
181
click to vote
ASAP
2003
IEEE
16 years 11 days ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
224
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The functional performance model (FPM) of heterogeneous processors has proven to be more realistic than the traditional models because it integrates many important featur...
197
Voted
UML
2001
Springer
15 years 11 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...