11214 search results - page 249 / 2243 » Programming Multi-agent Systems |
207
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
171
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
182
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
259
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
161
click to vote
WISA
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we, as well as Eskin, Lee, Stolfo [7] propose a method of prediction model. In their method, the program was characterized with both the order and the kind of system...