Sciweavers

2482 search results - page 219 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
132
Voted
IPCO
2007
143views Optimization» more  IPCO 2007»
15 years 3 months ago
On the Exact Separation of Mixed Integer Knapsack Cuts
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...
Ricardo Fukasawa, Marcos Goycoolea
JLP
2007
95views more  JLP 2007»
15 years 2 months ago
Model checking a cache coherence protocol of a Java DSM implementation
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...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
130
Voted
JDCTA
2008
138views more  JDCTA 2008»
15 years 29 days ago
DVRC-iTV: Download Variable Remote Control for Interactive TV
TV is one of the most important home appliances and the remote controller is a crucial TV input device. TV remote controllers have always been designed with TV compatibility in mi...
Shu-Ching Wang, Tzu-Chih Chung, Kuo-Qin Yan
162
Voted
ESOP
2012
Springer
13 years 10 months ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
IFIP
1998
Springer
15 years 6 months ago
Combining Static Partitioning with Dynamic Distribution of Threads
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
Ronald Moore, Melanie Klang, Bernd Klauer, Klaus W...