2935 search results - page 123 / 587 » An Integrated Approach to High Integrity Software Verificati... |
288
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
156
click to vote
HPCN
1999
Springer
15 years 9 months ago
1999
Springer
We developed a platform independent, three-tier system, called WebFlow. The visual authoring tools implemented in the front end integrated with the middle tier network of servers ...
150
click to vote
RECOMB
2003
Springer
16 years 5 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
173
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
161
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...