Sciweavers

34181 search results - page 79 / 6837
» Computer system
Sort
View
105
Voted
HYBRID
2007
Springer
15 years 7 months ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...
CLUSTER
2004
IEEE
15 years 4 months ago
Cluster computing environment supporting single system image
Single system image(SSI) systems have been the mainstay of high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a c...
Min Choi, DaeWoo Lee, Seung Ryoul Maeng
90
Voted
BMCBI
2008
99views more  BMCBI 2008»
15 years 28 days ago
Highlights from the Fourth International Society for Computational Biology Student Council Symposium at the Sixteenth Annual Int
In this meeting report we give an overview of the talks and presentations from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium held as ...
Lucia Peixoto, Nils Gehlenborg, Sarath Chandra Jan...
CICLING
2005
Springer
15 years 6 months ago
A Computational Model of the Spanish Clitic System
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
Luis Alberto Pineda, Ivan V. Meza
CJ
2004
77views more  CJ 2004»
15 years 20 days ago
Smart Messages: A Distributed Computing Platform for Networks of Embedded Systems
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
Porlin Kang, Cristian Borcea, Gang Xu, Akhilesh Sa...