Sciweavers

2273 search results - page 302 / 455
» On the Expressiveness and Complexity of ATL
Sort
View
WCRE
2008
IEEE
15 years 4 months ago
Consistent Layout for Thematic Software Maps
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...
Adrian Kuhn, Peter Loretan, Oscar Nierstrasz
96
Voted
ANSS
2007
IEEE
15 years 4 months ago
Evaluating the Design of Biological Cells Using a Computer Workbench
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
Tessa E. Pronk, Simon Polstra, Andy D. Pimentel, T...
CGO
2007
IEEE
15 years 4 months ago
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
Louis-Noël Pouchet, Cédric Bastoul, Al...
79
Voted
EDOC
2007
IEEE
15 years 4 months ago
Incorporating Security Behaviour into Business Models Using a Model Driven Approach
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
Peter F. Linington, Pulitha Liyanagama
ICC
2007
IEEE
182views Communications» more  ICC 2007»
15 years 4 months ago
BER Analysis of MIMO-SVD Systems with Channel Estimation Error and Feedback Delay
— This paper analyzes the average bit error rate (BER) performance of singular value decomposition-based multiple-input multiple-output systems with channel estimation error and ...
Edward K. S. Au, Shi Jin, Matthew R. McKay, Wai Ho...