Sciweavers

665 search results - page 90 / 133
» The Decision View of Software Architecture
Sort
View
TIC
2000
Springer
124views System Software» more  TIC 2000»
13 years 11 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
INFSOF
2000
120views more  INFSOF 2000»
13 years 7 months ago
Cognitive support, UML adherence, and XMI interchange in Argo/UML
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
Jason E. Robbins, David F. Redmiles
LCTRTS
1999
Springer
14 years 1 days ago
Effective Exploitation of a Zero Overhead Loop Buffer
A Zero Overhead Loop Buffer (ZOLB) is an architectural feature that is commonly found in DSP processors. This buffer can be viewed as a compiler managed cache that contains a sequ...
Gang-Ryung Uh, Yuhong Wang, David B. Whalley, Sanj...
AVI
2004
13 years 9 months ago
Designing interaction, not interfaces
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
Michel Beaudouin-Lafon
DAC
2005
ACM
14 years 8 months ago
Towards scalable flow and context sensitive pointer analysis
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
Jianwen Zhu