1320 search results - page 187 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
113
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
106
Voted
PPOPP
2010
ACM
15 years 4 months ago
2010
ACM
Helper locks allow programs with large parallel critical sections, called parallel regions, to execute more efficiently by enlisting processors that might otherwise be waiting on ...
132
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
155
click to vote
ISADS
2003
IEEE
15 years 8 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
117
Voted
CN
2000
15 years 2 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...