Sciweavers

141 search results - page 19 / 29
» DrScheme: a programming environment for Scheme
Sort
View
ICVS
2003
Springer
15 years 2 months ago
The Imalab Method for Vision Systems
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
Augustin Lux
KBSE
2009
IEEE
15 years 4 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ICCS
2007
Springer
15 years 3 months ago
Universal Execution of Parallel Processes: Penetrating NATs over the Grid
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....
Insoon Jo, Hyuck Han, Heon Young Yeom, Ohkyoung Kw...
WWCA
1998
Springer
15 years 1 months ago
Worldwide Component Scripting with the Planet Mobile Object System
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...
Katsuya Matsubara, Takahiro Maekawa, Kazuhiko Kato
CNHPCA
2009
Springer
15 years 23 days ago
Parallel Branch Prediction on GPU Platform
Abstract. Branch Prediction is a common function in nowadays microprocessor. Branch predictor is duplicated into multiple copies in each core of a multicore and many-core processor...
Liqiang He, Guangyong Zhang