Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs bus » programs best, programs b, programs based
bus https » ios https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs bus » programs best, programs b, programs based
bus https » ios https
1
Published 2008
Table of Contents:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Practical Methods for Adapting Services Using Enterprise Service Bus -- On the Quality of Navigation Models...”View full text
Electronic
eBook