Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
parallel programs » parallel programming
programs register » programs revisited, programming register, programs related
register function » ester function, register section, deliver function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel programs » parallel programming
programs register » programs revisited, programming register, programs related
register function » ester function, register section, deliver function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Pubblicazione 2007
Sommario:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testo
Elettronico
eBook
2
Pubblicazione 2006
Sommario:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testo
Elettronico
eBook
3
Pubblicazione 2005
Sommario:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testo
Elettronico
eBook
4
Pubblicazione 2007
Sommario:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Testo
Elettronico
eBook
5
Pubblicazione 2014
Sommario:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testo
Elettronico
eBook
6
Pubblicazione 2008
Sommario:
“... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Testo
Elettronico
eBook
8
Pubblicazione 2010
Sommario:
“... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”Testo
Elettronico
eBook
9
Pubblicazione 2014
Sommario:
“... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”Testo
Elettronico
eBook
10
Pubblicazione 2006
Sommario:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Testo
Elettronico
eBook
11
Pubblicazione 2013
Sommario:
“... Multi-core System -- Virtual Register Renaming -- Load-Adaptive Monitor-Driven Hardware for Preventing...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“... Level Parallelism and Register File Traffic -- Scalable Architecture for Prefix Preserving Anonymization...”Testo
Elettronico
eBook
13
Pubblicazione 2007
Sommario:
“...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”Testo
Elettronico
eBook
14
Pubblicazione 2008
Sommario:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Testo
Elettronico
eBook
15
Pubblicazione 2006
Sommario:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”Testo
Elettronico
eBook
16
Pubblicazione 2006
Sommario:
“... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...”Testo
Elettronico
eBook