2133 search results - page 16 / 427 » Implementation of a SystemC based Environment |
HPCN
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Computational environments used by scientists should provide high-level support for scientific processes that involve the integrated ematic use of familiar abstractions f...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
CAV
1998
Springer
13 years 12 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...