Sciweavers

542 search results - page 45 / 109
» The Denjoy alternative for computable functions
Sort
View
IPPS
1999
IEEE
15 years 10 months ago
Recursive Individually Distributed Object
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...
Z. George Mou
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
BIBE
2010
IEEE
181views Bioinformatics» more  BIBE 2010»
15 years 7 months ago
Multi Level Clustering of Phylogenetic Profiles
The prediction of gene function from genome sequences is one of the main issues in Bioinformatics. Most computational approaches are based on the similarity between sequences to in...
Fotis E. Psomopoulos, Pericles A. Mitkas
DAC
2009
ACM
16 years 7 months ago
Quality-driven synthesis of embedded multi-mode control systems
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
IPPS
2009
IEEE
16 years 28 days ago
GenWrapper: A generic wrapper for running legacy applications on desktop grids
Desktop Grids represent an alternative trend in Grid computing using the same software infrastructure as Volunteer Computing projects, such as BOINC. Applications to be deployed o...
Csaba Attila Marosi, Zoltán Balaton, P&eacu...