Sciweavers

4716 search results - page 668 / 944
» Iterative-free program analysis
Sort
View
IEEEPACT
2007
IEEE
16 years 16 days ago
Component-Based Lock Allocation
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
Richard L. Halpert, Christopher J. F. Pickett, Cla...
SCAM
2007
IEEE
16 years 15 days ago
Quality Assessment for Embedded SQL
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
Huib van den Brink, Rob van der Leek, Joost Visser
SRDS
2007
IEEE
16 years 15 days ago
Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao
TASE
2007
IEEE
16 years 15 days ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
16 years 12 days ago
Another investigation on tournament selection: modelling and visualisation
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
Huayang Xie, Mengjie Zhang, Peter Andreae