Sciweavers

3272 search results - page 359 / 655
» Introduction to Software Performance Engineering
Sort
View
UIST
2004
ACM
16 years 2 days ago
Combining crossing-based and paper-based interaction paradigms for dragging and dropping between overlapping windows
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...
Pierre Dragicevic
ENTCS
2010
208views more  ENTCS 2010»
15 years 4 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
TCOM
2010
92views more  TCOM 2010»
15 years 1 months ago
UWB receiver designs based on a gaussian-laplacian noise-plus-MAI model
Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. The pr...
Norman C. Beaulieu, Somasundaram Niranjayan
ISSRE
2006
IEEE
16 years 20 days ago
Testing During Refactoring: Adding Aspects to Legacy Systems
Moving program code that implements cross-cutting concerns into aspects can improve the maintainability of legacy systems. This kind of refactoring, called aspectualization, can a...
Michael Mortensen, Sudipto Ghosh, James M. Bieman
HASKELL
2006
ACM
16 years 19 days ago
Introducing the Haskell equational reasoning assistant
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
Andy Gill