4306 search results - page 275 / 862 » Timed Testing with TorX |
106
Voted
ASPDAC
2006
ACM
15 years 4 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...
113
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...
106
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
96
Voted
FLAIRS
2008
15 years 3 months ago
2008
Bringing users into the process of content development may help to reduce the time and cost associated with tutoring system development, and may benefit users by deepening their u...