692 search results - page 26 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
104
click to vote
CP
2006
Springer
15 years 3 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
CSMR
2008
IEEE
15 years 6 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
113
click to vote
SAMOS
2009
Springer
15 years 6 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
106
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— We consider multiuser scheduling with limited feedback of partial channel state information in MIMO broadcast channels. By using spatial multiplexing at the base statio...