2362 search results - page 363 / 473 » Programming in Standard ML |
152
click to vote
ICSNC
2006
IEEE
15 years 9 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
146
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
MPI provides a portable message passing interface for many parallel execution platforms but may lead to inefficiencies for some platforms and applications. In this article we sho...
113
Voted
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...
112
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
132
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...