3130 search results - page 64 / 626 » Design Correctness of Digital Systems |
148
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
106
click to vote
EUSFLAT
2001
15 years 4 months ago
2001
This work demonstrates that high-end classical programmable digital signal processors (DSPs) can implement fuzzy systems for real-time communication processing. A systematic proce...
140
click to vote
ICAT
2006
IEEE
15 years 9 months ago
2006
IEEE
The wireless sensor network based localization system—Cicada is designed to support the locationawareness in indoor environment. The system is based on TDOA (time difference of ...
115
Voted
ACMDIS
2008
ACM
15 years 5 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...
118
Voted
AIS
2006
Springer
15 years 3 months ago
2006
Springer
regarding Social Intelligence Design in an abstraction and device called the SoftBridge. The SoftBridge allows communication to flow from endpoints through adapters, getting conver...