1884 search results - page 112 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
DATE
2005
IEEE
14 years 12 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
107
click to vote
EUROCRYPT
2012
Springer
13 years 11 days ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...
SOCO
2008
Springer
14 years 10 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
IDA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a prototype system, code-named Pulse, for mining topics and sentiment orientation jointly from free text customer feedback. We describe the application of the ...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...