Sciweavers

1027 search results - page 55 / 206
» Language Support for Connector Abstractions
Sort
View
ECOOP
1995
Springer
14 years 19 days ago
Programming as an Experience: The Inspiration for Self
The Self system attempts to integrate intellectual and non-intellectual aspects of programming to create an overall experience. The language semantics, user interface, and implemen...
Randall B. Smith, David Ungar
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
14 years 2 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman
DT
2006
94views more  DT 2006»
13 years 9 months ago
A Component-Based Design Environment for ESL Design
gn: abstraction and reuse. The authors present an ESL design flow using the Gezel language. Using several very different design examples, they this design flow supports their case ...
Patrick Schaumont, Ingrid Verbauwhede
SIGMOD
2006
ACM
156views Database» more  SIGMOD 2006»
14 years 9 months ago
MauveDB: supporting model-based user views in database systems
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
Amol Deshpande, Samuel Madden
CGO
2007
IEEE
14 years 3 months ago
Run-Time Support for Optimizations Based on Escape Analysis
The JavaTM programming language does not allow the programmer to influence memory management. An object is usually allocated on the heap and deallocated by the garbage collector ...
Thomas Kotzmann, Hanspeter Mössenböck