7103 search results - page 1017 / 1421 » Program Generation and Components |
155
Voted
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
152
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
236
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
143
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...
112
Voted
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Rotary traveling-wave oscillator (RTWO) is a recently proposed transmission-line approach for multi-gigahertz rate clock generation. RTWO has the characteristics of bot...