5838 search results - page 908 / 1168 » A File System for System Programming in Ubiquitous Computing |
147
click to vote
IPCO
2007
15 years 5 months ago
2007
During the last decades, much research has been conducted deriving classes of valid inequalities for single-row mixed integer programming polyhedrons. However, no such class has ha...
127
click to vote
CGF
2008
15 years 4 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
143
click to vote
JLP
2007
15 years 4 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
136
click to vote
COGSR
2011
14 years 11 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
184
click to vote
ESOP
2012
Springer
14 years 4 days ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...