Sciweavers

40 search results - page 2 / 8
» ats 2005
Sort
View
DATE
2005
IEEE
83views Hardware» more  DATE 2005»
13 years 11 months ago
At-Speed Logic BIST for IP Cores
B. Cheon, E. Lee, Laung-Terng Wang, Xiaoqing Wen, ...
BMCBI
2005
79views more  BMCBI 2005»
13 years 5 months ago
Data preparation and interannotator agreement: BioCreAtIvE Task 1B
Marc E. Colosimo, Alexander A. Morgan, Alexander S...
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
13 years 11 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...
FROCOS
2005
Springer
13 years 11 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
OOPSLA
2005
Springer
13 years 11 months ago
AutAT: an eclipse plugin for automatic acceptance testing of web applications
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
Christian Schwarz, Stein Kåre Skytteren, Tro...