Sciweavers

3825 search results - page 380 / 765
» The Language of Time: A Reader
Sort
View
GPCE
2003
Springer
15 years 12 months ago
Spidle: A DSL Approach to Specifying Streaming Applications
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...
Charles Consel, Hédi Hamdi, Laurent R&eacut...
MOBILITY
2009
ACM
15 years 11 months ago
Lively for Qt: a platform for mobile web applications
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
Tommi Mikkonen, Antero Taivalsaari, Mikko Terho
MMMACNS
2001
Springer
15 years 11 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
152
Voted
PACT
2001
Springer
15 years 11 months ago
Fusion of Concurrent Invocations of Exclusive Methods
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
ICFP
1999
ACM
15 years 11 months ago
Atomic Heap Transactions and Fine-grain Interrupts
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
Olin Shivers, James W. Clark, Roland McGrath