Sciweavers

7206 search results - page 1008 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
179
Voted
SIGSOFT
2005
ACM
16 years 12 days ago
Detecting higher-level similarity patterns in programs
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
Hamid Abdul Basit, Stan Jarzabek
ISORC
2009
IEEE
16 years 1 months ago
Thread-Local Scope Caching for Real-time Java
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
Andy J. Wellings, Martin Schoeberl
189
Voted
ISORC
2008
IEEE
16 years 1 months ago
Usability Aspects of WCET Analysis
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
Jan Gustafsson
161
Voted
UIST
2006
ACM
16 years 24 days ago
Content-aware scrolling
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...
Edward W. Ishak, Steven Feiner
140
Voted
FM
2005
Springer
89views Formal Methods» more  FM 2005»
16 years 12 days ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
« Prev « First page 1008 / 1442 Last » Next »