2111 search results - page 245 / 423 » How to Program Pervasive Systems |
244
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
121
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
98
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
123
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In our paper last year [1], we described our languagetraining program, which utilizes Baldi as a tutor, who guides students through a variety of exercises designed to teach vocabu...