323 search results - page 44 / 65 » The MOLEN Processor Prototype |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
CGO
2007
IEEE
14 years 2 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
SSDBM
2007
IEEE
14 years 1 months ago
2007
IEEE
Applications that query data streams in order to identify trends, patterns, or anomalies can often benefit from comparing the live stream data with archived historical stream dat...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
SAMOS
2007
Springer
14 years 1 months ago
2007
Springer
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...