1884 search results - page 112 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
124
click to vote
DATE
2005
IEEE
15 years 3 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...
138
click to vote
EUROCRYPT
2012
Springer
13 years 3 months 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 ...
102
click to vote
SOCO
2008
Springer
15 years 1 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...
111
Voted
IDA
2005
Springer
15 years 6 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 ...
112
click to vote
IPPS
2003
IEEE
15 years 6 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...