1835 search results - page 215 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
HOTOS
2007
IEEE
15 years 9 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
138
click to vote
CMMR
2003
Springer
15 years 10 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
145
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
130
click to vote
PE
2002
Springer
15 years 4 months ago
2002
Springer
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
153
click to vote
IJDE
2006
15 years 5 months ago
2006
Rootkits are malicious programs that silently subvert an operating system to hide an intruder's activities. Although there are a number of tools designed to detect rootkits, ...