7778 search results - page 1095 / 1556 » Designing Controllers for Reachability |
140
click to vote
TACO
2008
15 years 6 months ago
2008
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...
173
click to vote
TOCS
2008
15 years 6 months ago
2008
Bigtable is a distributed storage system for managing structured data that is designed to scale to a very large size: petabytes of data across thousands of commodity servers. Many...
157
click to vote
TPDS
2008
15 years 6 months ago
2008
IEEE 802.15.4 is a new standard uniquely designed for low-rate wireless personal area networks. It targets ultralow complexity, cost, and power for low-rate wireless connectivity a...
159
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
158
click to vote
TSE
2008
15 years 6 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...