2752 search results - page 378 / 551 » Rounding to an Integral Program |
160
click to vote
ICTAI
2008
IEEE
16 years 28 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
187
click to vote
IEEEPACT
2008
IEEE
16 years 27 days ago
2008
IEEE
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...
145
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
162
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
162
click to vote
SRDS
2007
IEEE
16 years 23 days ago
2007
IEEE
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. ...