Sciweavers

1675 search results - page 254 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
ICTAC
2005
Springer
15 years 10 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
SIGCSE
2004
ACM
86views Education» more  SIGCSE 2004»
15 years 10 months ago
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses
Rarely are the three pillars of academia—research, teaching, and service—addressed together, within one intellectually cohesive context in the graduate curriculum. Such a cont...
Paolo A. G. Sivilotti, Bruce W. Weide
CC
2008
Springer
172views System Software» more  CC 2008»
15 years 6 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...
ICS
1999
Tsinghua U.
15 years 8 months ago
The scalability of multigrain systems
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
Donald Yeung
KBSE
2007
IEEE
15 years 10 months ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...