258 search results - page 3 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
SIGSOFT
2006
ACM
14 years 6 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
NOLISP
2005
Springer
13 years 11 months ago
2005
Springer
The best performing systems in the area of automatic speaker recognition have focused on using short-term, low-level acoustic information, such as sepstral features. Recently, vari...
IADIS
2004
13 years 7 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
TCAD
2011
13 years 22 days ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...