4299 search results - page 353 / 860 » Concurrent Test Generation |
134
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
A generic and retargetable tool flow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent function...
164
click to vote
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
129
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
139
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe AudioCave, an environment for exploring the impact of spatialising sonified graphs on a set of numerical data comprehension tasks. Its design builds on findings regard...
168
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...