12373 search results - page 2247 / 2475 » Semi-Logarithmic Number Systems |
132
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
135
Voted
CHI
1997
ACM
15 years 8 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
145
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
Advances in fabrication technology have resulted in a continual shrinkage of device dimensions. This has resulted in smaller device delays, greater resistance along interconnect w...
200
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
140
Voted
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...