Sciweavers

5536 search results - page 231 / 1108
» Programming Languages for Distributed Applications
Sort
View
ICFP
2003
ACM
16 years 6 months ago
Scripting the type inference process
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierst...
PLDI
2006
ACM
16 years 16 days ago
DieHard: probabilistic memory safety for unsafe languages
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
Emery D. Berger, Benjamin G. Zorn
VL
2008
IEEE
113views Visual Languages» more  VL 2008»
16 years 28 days ago
A visual language for representing and explaining strategies in game theory
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
Martin Erwig, Eric Walkingshaw
NSDI
2007
15 years 9 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
ICDCS
2002
IEEE
15 years 11 months ago
Cooperative Computing for Distributed Embedded Systems
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
Cristian Borcea, Deepa Iyer, Porlin Kang, Akhilesh...