933 search results - page 157 / 187 » How compilers and tools differ for embedded systems |
FASE
2006
Springer
14 years 10 days ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
SGP
2003
13 years 10 months ago
2003
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
BMCBI
2011
13 years 8 days ago
2011
Background: The search for cluster structure in microarray datasets is a base problem for the so-called “-omic sciences”. A difficult problem in clustering is how to handle da...
PERVASIVE
2011
Springer
12 years 11 months ago
2011
Springer
As personal health sensors become ubiquitous, we also expect them to become interoperable. That is, instead of closed, end-to-end personal health sensing systems, we envision stand...
SIGMOD
2008
ACM
15 years 7 months ago
2008
ACM
Virtual machine monitors are becoming popular tools for the deployment of database management systems and other enterprise software applications. In this paper, we consider a commo...