Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality adding » functionality using, functionality amino, functionality setting
parallel system » parallel systems
system programs » systems programs, system program, system programme
adding https » aging https, auditing https, banking https
programs functionality » program functionality, programs functional, properties functionality
functionality adding » functionality using, functionality amino, functionality setting
parallel system » parallel systems
system programs » systems programs, system program, system programme
adding https » aging https, auditing https, banking https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Circuit Latin Square -- An Efficient Load Balancing Algorithm for Cluster System -- Session 5: Parallel...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Issues of Wireless Systems -- Overview the Key Management in Ad Hoc Networks -- On Performance...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook
12
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop...
Published 2007
Table of Contents:
“... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Image Feature Tag Adding Functions -- The Impact of the Malfunction of a Sector in Supply Chain...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”View full text
Electronic
eBook