Sciweavers

9503 search results - page 333 / 1901
» Authenticated System Calls
Sort
View
ASPLOS
2011
ACM
14 years 11 months ago
Improving the performance of trace-based systems by false loop filtering
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
Hiroshige Hayashizaki, Peng Wu, Hiroshi Inoue, Mau...
HOTOS
1997
IEEE
15 years 11 months ago
What Synchronous Groupware Needs: Notification Services
Synchronous groupware is the class of applications in which two or more people collaborate in what they perceive to be real time. Most previous efforts to deploy synchronous group...
Mark Day
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 11 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
ACL
2008
15 years 9 months ago
Distributed Listening: A Parallel Processing Approach to Automatic Speech Recognition
While speech recognition systems have come a long way in the last thirty years, there is still room for improvement. Although readily available, these systems are sometimes inaccu...
Yolanda McMillian, Juan E. Gilbert
ATAL
2009
Springer
15 years 8 months ago
Conditional Dependence Networks in Requirements Engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
Guido Boella, Leendert van der Torre, Serena Villa...