Sciweavers

10625 search results - page 191 / 2125
» Supporting delay-intolerant applications
Sort
View
ERSHOV
2009
Springer
15 years 10 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
Exception Handling in CSCW Applications in Pervasive Computing Environments
Abstract. In this paper we present conceptual foundations of an exception handling model for context-aware CSCW applications. Human participation in the recovery actions is an inte...
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
POPL
1995
ACM
15 years 10 months ago
Applicative Functors and Fully Transparent Higher-Order Modules
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
Xavier Leroy
DSVIS
2005
Springer
15 years 8 months ago
Natural Modelling of Interactive Applications
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...
Fabio Paternò, Marco Volpe 0002
DATE
2008
IEEE
130views Hardware» more  DATE 2008»
15 years 8 months ago
A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications
This paper presents the implementation of a dualpriority scheduling algorithm for real-time embedded systems on a shared memory multiprocessor on FPGA. The dual-priority microkern...
Antonino Tumeo, Marco Branca, Lorenzo Camerini, Ma...