Sciweavers

34229 search results - page 222 / 6846
» Power-aware computing systems
Sort
View
CMSB
2009
Springer
15 years 10 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
CIS
2005
Springer
15 years 9 months ago
Computational Intelligence for Network Intrusion Detection: Recent Contributions
Computational intelligence has figured prominently in many solutions to the network intrusion detection problem since the 1990s. This prominence and popularity has continued in the...
Asim Karim
RTA
2010
Springer
15 years 5 months ago
Underspecified computation of normal forms
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...
Alexander Koller, Stefan Thater
ALGORITHMICA
2008
110views more  ALGORITHMICA 2008»
15 years 4 months ago
Bandwidth-Constrained Allocation in Grid Computing
Grid computing systems pool together the resources of many workstations to create a virtual computing reservoir. Users can "draw" resources using a pay-as-you-go model, c...
Anshul Kothari, Subhash Suri, Yunhong Zhou
HOTOS
1993
IEEE
15 years 8 months ago
Using Reconciliation to Share Files Between Occasionally Connected Computers
Future large distributed systems will be made by interconnecting highly autonomous subsystems, rather than by building ever more elaborate complexes which attempt to provide a sin...
John H. Howard