7557 search results - page 1238 / 1512 » Modeling Timed Concurrent Systems |
163
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
— Fast Fourier transform (FFT) algorithms are used in a wide variety of digital signal processing applications and many of these require high-performance parallel implementations...
182
Voted
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...
210
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
191
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
174
click to vote
CAV
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...