Sciweavers

1407 search results - page 132 / 282
» Using Use Cases in Executable Z
Sort
View
BMCBI
2008
127views more  BMCBI 2008»
15 years 4 months ago
Human Pol II promoter recognition based on primary sequences and free energy of dinucleotides
Background: Promoter region plays an important role in determining where the transcription of a particular gene should be initiated. Computational prediction of eukaryotic Pol II ...
Jian-Yi Yang, Yu Zhou, Zu-Guo Yu, Vo Anh, Li-Qian ...
CC
1998
Springer
111views System Software» more  CC 1998»
15 years 4 months ago
Live Range Splitting in a Graph Coloring Register Allocator
Graph coloring is the dominant paradigm for global register allocation [8, 7, 4]. Coloring allocators use an interference graph, Z, to model conflicts that prevent two values from ...
Keith D. Cooper, L. Taylor Simpson
ICSM
2008
IEEE
15 years 11 months ago
Retrieving relevant reports from a customer engagement repository
Customers of modern enterprise applications commonly engage the vendor of the application for onsite troubleshooting and fine tuning of large deployments. The results of these eng...
Dharmesh Thakkar, Zhen Ming Jiang, Ahmed E. Hassan...
RTCSA
2008
IEEE
15 years 10 months ago
Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints
Real-time systems are often designed using preemptive scheduling to guarantee the execution of high priority tasks. For multiple reasons there is a great interest in exploring non...
Omar Kermia, Yves Sorel
MIDDLEWARE
2004
Springer
15 years 9 months ago
GridBox: securing hosts from malicious and greedy applications
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
Evgueni Dodonov, Joelle Quaini Sousa, Hélio...