2127 search results - page 303 / 426 » Software Automation |
144
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
101
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
93
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
125
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
247
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...