236 search results - page 37 / 48 » Handlers of Algebraic Effects |
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
SC
2005
ACM
14 years 1 months 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...
CISC
2005
Springer
14 years 1 months 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...
ASAP
2003
IEEE
14 years 28 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...
EUROPAR
2009
Springer
14 years 8 days 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...