3307 search results - page 624 / 662 » The meaning of concurrent programs |
165
click to vote
SP
2007
IEEE
16 years 12 days ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
182
click to vote
CAISE
2007
Springer
16 years 10 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
175
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
172
click to vote
FCCM
2006
IEEE
16 years 6 days ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
143
click to vote
ASPLOS
2006
ACM
16 years 3 days ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...