2173 search results - page 102 / 435 » The History of the History of Software |
186
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
175
click to vote
SBACPAD
2006
IEEE
16 years 10 days ago
2006
IEEE
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challe...
142
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Value prediction exploits localities in value streams. Previous research focused on exploiting two types of value localities, computational and context-based, in the local value h...
144
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
I present a research framework and some tools developed as part of an ongoing effort into defining and using interaction history as part of a user interface for social navigation,...
151
click to vote
SCL
2008
15 years 6 months ago
2008
The reduction of dynamic systems has a rich history, with many important applications related to stability, control and verification. Reduction of nonlinear systems is typically p...