Sciweavers

10718 search results - page 826 / 2144
» On the Circuit Implementation Problem
Sort
View
ENTCS
2002
136views more  ENTCS 2002»
15 years 7 months ago
Comparing Calculi of Explicit Substitutions with Eta-reduction
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
Mauricio Ayala-Rincón, Flávio L. C. ...
COMCOM
1998
98views more  COMCOM 1998»
15 years 7 months ago
IP multicast group management for point-to-point local distribution
—We examine the applicability of existing IP multicast mechanisms for Point-to-Point links such as wired and wireless telephone lines. We identify problems such as overhead due t...
George Xylomenos, George C. Polyzos
CORR
2008
Springer
161views Education» more  CORR 2008»
15 years 6 months ago
An application of the Threshold Accepting metaheuristic for curriculum based course timetabling
The article presents a local search approach for the solution of timetabling problems in general, with a particular implementation for competition track 3 of the International Time...
Martin Josef Geiger
FGCS
2010
129views more  FGCS 2010»
15 years 6 months ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...
ICWE
2010
Springer
15 years 6 months ago
Syncro - Concurrent Editing Library for Google Wave
Abstract. The web accelerated the way people collaborate globally distributed. With Google Wave, a rich and extensible real-time collaboration platform is becoming available to a l...
Michael Goderbauer, Markus Goetz, Alexander Gro&sz...