1914 search results - page 196 / 383 » Verification by Abstract Interpretation |
155
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
134
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
145
Voted
ICBA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A feature-level fusion approach is proposed for improving the efficiency of palmprint identification. Multiple Gabor filters are employed to extract the phase information...
131
click to vote
ARC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents the very first implementation of a HyperTransport 3 physical layer interface for Field Programmable Gate Arrays. HyperTransport is a low latency, high...
159
click to vote
CAISE
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...