12697 search results - page 142 / 2540 » Call for Papers |
185
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
154
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Execution time estimation of software at source-level is nowadays a crucial phase of the system design flow, especially for portable devices and real-time systems. From a source-...
165
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper examines business, design, and product development aspects of software business models. Contexts of small and large companies for creating software innovations are also...
146
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Creating functional tests that work on an ATE has always been a significant challenge [1]. This paper identifies the fundamental mechanisms for functional test failures of an SOC ...
171
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
We propose a kind of agent called probe-agent, which is responsible to collect and monitor the data and information according to its goals. On the other hand, it can summarize the ...