الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
state function » stage function, state functional, state fiction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
program state » programs state, program started, program style
java program » java programs, a program, java programming
state function » stage function, state functional, state fiction
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
program state » programs state, program started, program style
java program » java programs, a program, java programming
1
منشور في 2013
جدول المحتويات:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
جدول المحتويات:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2013
جدول المحتويات:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
جدول المحتويات:
“... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2006
جدول المحتويات:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2006
جدول المحتويات:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”احصل على النص الكامل
الكتروني
كتاب الكتروني