10072 search results - page 156 / 2015 » Composition of Model Programs |
156
click to vote
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
160
Voted
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Each day, a software developer needs to answer a variety of questions that require the integration of different kinds of project information. Currently, answering these questions...
170
Voted
EUROCAST
2001
Springer
15 years 10 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
121
click to vote
ENTCS
2007
15 years 6 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
198
Voted
JMLR
2012
13 years 8 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...