1549 search results - page 130 / 310 » Embedded Application Design Using a Real-Time OS |
142
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
130
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
ICFP
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
117
click to vote
IISWC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many embedded real world applications are intellectual property, and vendors hesitate to share these proprietary applications with computer architects and designers. This poses a ...
102
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
The current state of software which targets older adults’ ability to use computers focuses on physical issues while largely ignoring the cognitive issues. As a larger percentage...