1953 search results - page 266 / 391 » Embedded Probabilistic Programming |
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
AGS
2009
Springer
14 years 4 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
1 In the competitive electricity structure, demand response programs enable customers to react dynamically to changes in electricity prices. The implementation of such programs ma...
RTAS
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
ECRTS
2007
IEEE
14 years 4 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...