Sciweavers

7049 search results - page 1133 / 1410
» Data Abstraction for CSP-OZ
Sort
View
INFOCOM
2002
IEEE
15 years 11 months ago
Host Multicast: A Framework for Delivering Multicast To End Users
Abstract—While the advantages of multicast delivery over multiple unicast deliveries is undeniable, the deployment of the IP multicast protocol has been limited to “islands” ...
Beichuan Zhang, Sugih Jamin, Lixia Zhang
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 11 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
195
Voted
ECCV
2010
Springer
15 years 11 months ago
Learning to Detect Roads in High-Resolution Aerial Images
Abstract. Reliably extracting information from aerial imagery is a difficult problem with many practical applications. One specific case of this problem is the task of automatica...
ADAEUROPE
2010
Springer
15 years 11 months ago
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann...
CPM
2010
Springer
120views Combinatorics» more  CPM 2010»
15 years 11 months ago
Mod/Resc Parsimony Inference
Abstract. We address in this paper a new computational biology problem that aims at understanding a mechanism that could potentially be used to genetically manipulate natural insec...
Igor Nor, Danny Hermelin, Sylvain Charlat, Jan Eng...
« Prev « First page 1133 / 1410 Last » Next »