Sciweavers

40 search results - page 6 / 8
» Exploring Extreme Programming in Context: An Industrial Case...
Sort
View
ISPASS
2010
IEEE
14 years 1 months ago
Runahead execution vs. conventional data prefetching in the IBM POWER6 microprocessor
After many years of prefetching research, most commercially available systems support only two types of prefetching: software-directed prefetching and hardware-based prefetchers u...
Harold W. Cain, Priya Nagpurkar
CCE
2006
13 years 6 months ago
A global view of graduate process control education
This paper reviews the status of graduate level process control education and surveys graduate process control offerings for more than 50 chemical engineering and control engineer...
Thomas F. Edgar, Babatunde A. Ogunnaike, Kenneth R...
BPM
2008
Springer
125views Business» more  BPM 2008»
13 years 8 months ago
Checking Compliance of Execution Traces to Business Rules
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
Federico Chesani, Paola Mello, Marco Montali, Fabr...
POPL
2001
ACM
14 years 6 months ago
Mobile values, new names, and secure communication
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
Cédric Fournet, Martín Abadi
PPPJ
2009
ACM
14 years 1 months ago
Tracking performance across software revisions
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
Nagy Mostafa, Chandra Krintz