Sciweavers

1921 search results - page 321 / 385
» : Designing a Scalable Build Process
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 3 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ACSAC
2006
IEEE
14 years 3 months ago
From Languages to Systems: Understanding Practical Application Development in Security-typed Languages
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew Mc...
CCGRID
2006
IEEE
14 years 3 months ago
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santia...
ICPADS
2006
IEEE
14 years 3 months ago
Memory and Network Bandwidth Aware Scheduling of Multiprogrammed Workloads on Clusters of SMPs
Symmetric Multiprocessors (SMPs), combined with modern interconnection technologies are commonly used to build cost-effective compute clusters. However, contention among processor...
Evangelos Koukis, Nectarios Koziris
IROS
2006
IEEE
111views Robotics» more  IROS 2006»
14 years 3 months ago
A Delay-tolerant, Potential field-based, Network Implementation of an Integrated Navigation System
Abstract—Network controllers (NCs) are devices that are capable of converting dynamic, spatially extended, and functionally specialized modules into a taskable goal-oriented grou...
Rachana Ashok Gupta, Ahmad A. Masoud, Mo-Yuen Chow