Sciweavers

3238 search results - page 3 / 648
» Multi-return function call
Sort
View
SIGSOFT
2009
ACM
14 years 8 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 6 months ago
Single-Call Mechanisms
Following Babaioff, Kleinberg, and Slivkins [4], we study single-call mechanisms — truthful mechanisms that evaluate an allocation function only once per instantiation. First, w...
Balasubramanian Sivan, Christopher A. Wilkens
HASKELL
2009
ACM
14 years 2 months ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
ASIAN
2007
Springer
102views Algorithms» more  ASIAN 2007»
14 years 1 months ago
A Static Birthmark of Binary Executables Based on API Call Structure
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Ha...
ICFP
1999
ACM
13 years 12 months ago
Calling Hell From Heaven and Heaven From Hell
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....