2362 search results - page 363 / 473 » Programming in Standard ML |
191
click to vote
ICSNC
2006
IEEE
16 years 11 days 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...
181
click to vote
IPPS
2006
IEEE
16 years 11 days 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...
144
click to vote
ISORC
2006
IEEE
16 years 10 days 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...
143
click to vote
LICS
2006
IEEE
16 years 10 days 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...
169
click to vote
RTCSA
2006
IEEE
16 years 10 days 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 ...