1
יצא לאור 2012
תוכן הענינים: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2013
תוכן הענינים: ... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2013
תוכן הענינים: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2008
תוכן הענינים: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2013
תוכן הענינים: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני