6960 search results - page 232 / 1392 » Continuity Analysis of Programs |
110
Voted
DAC
1991
ACM
15 years 7 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
136
Voted
CACM
2010
15 years 3 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
168
Voted
ADBIS
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
130
Voted
ICTAC
2005
Springer
15 years 9 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
111
Voted
WSC
2004
15 years 5 months ago
2004
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...