Sciweavers

7124 search results - page 385 / 1425
» Programming Languages and Operating Systems
Sort
View
ERLANG
2006
ACM
16 years 24 days ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
COLING
2002
15 years 6 months ago
A Linguistic Discovery Program that Verbalizes its Discoveries
We describe a discovery program, called UNIVAUTO (UNIVersals AUthoringTOol), whose domain of application is the study of language universals, a classic trend in contemporary lingu...
Vladimir Pericliev
178
Voted
EMSOFT
2005
Springer
16 years 11 days ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...
APLAS
2006
ACM
16 years 24 days ago
Reading, Writing and Relations
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna...
FORMATS
2009
Springer
16 years 1 months ago
Analyzing Real-Time Event-Driven Programs
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
Pierre Ganty, Rupak Majumdar