1598 search results - page 274 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
165
click to vote
LCPC
2007
Springer
16 years 4 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
151
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
Personal assistants need to allow the user to interact with the system in a flexible and adaptive way such as through spoken language dialogue. In this research we focus on an ap...
148
click to vote
SENSYS
2006
ACM
15 years 12 months ago
2006
ACM
Small-form-factor, low-power wireless sensors—motes—are convenient to deploy, but lack the bandwidth to capture and transmit raw high-frequency data, such as human voices or n...
184
click to vote
FTDCS
2004
IEEE
15 years 9 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...
192
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...