Sciweavers

16190 search results - page 119 / 3238
» Applicative programming with effects
Sort
View
DSN
2005
IEEE
15 years 8 months ago
Authenticated System Calls
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
Mohan Rajagopalan, Matti A. Hiltunen, Trevor Jim, ...
ASPLOS
2006
ACM
15 years 6 months ago
Accurate and efficient filtering for the Intel thread checker race detector
Debugging data races in parallel applications is a difficult task. Error-causing data races may appear to vanish due to changes in an application's optimization level, thread...
Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Peter...
LCPC
2000
Springer
15 years 6 months ago
Improving Offset Assignment for Embedded Processors
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
Sunil Atri, J. Ramanujam, Mahmut T. Kandemir
IPPS
2003
IEEE
15 years 8 months ago
A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
Ernesto Novillo, Paul Lu
AGP
2010
IEEE
15 years 3 months ago
25 Years of Applications of Logic Programming in Italy
In this paper we give a summary of our recent survey of practical applications of Logic Programming in Italy. The survey covers a 25 year time-span. Information was mainly gathere...
Alessandro Dal Palù, Paolo Torroni