| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465880203316 |
|
|
Titolo |
Mathematical Foundations of Computer Science 1993 [[electronic resource] ] : 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings / / edited by Andrzej M. Borzyszkowski, Stefan Sokolowski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1993.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 786 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 711 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Applied mathematics |
Engineering mathematics |
Software engineering |
Computers |
Algorithms |
Computer logic |
Applications of Mathematics |
Software Engineering/Programming and Operating Systems |
Theory of Computation |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
On the unification free prolog programs -- Equivalences and preorders of transition systems -- Deliverables: a categorical approach to program development in type theory -- Complex and complex-like traces -- Symbolic bisimulations (abstract) -- Some results on the full abstraction problem for restricted lambda calculi -- Action calculi, or syntactic action structures -- Observable properties of higher order functions that dynamically create local names, or: What's new? -- The second calculus of binary relations -- An introduction to dynamic |
|
|
|
|
|
|
|
|
|
|
|
labeled 2-structures -- Post Correspondence Problem: Primitivity and interrelations with complexity classes -- A taste of linear logic -- On the tree inclusion problem -- On the adequacy of per models -- Hausdorff reductions to sparse sets and to sets of high information content -- Stores as homomorphisms and their transformations -- Comparative semantics for linear arrays of communicating processes -- Rabin tree automata and finite monoids -- Efficient type reconstruction in the presence of inheritance -- A characterization of Sturmian morphisms -- On the complexity of scheduling incompatible jobs with unit-times -- Isomorphisms between predicate and state transformers -- On the amount of nondeterminism and the power of verifying -- Observing distribution in processes -- Speedup of recognizable trace languages -- May I borrow your logic? -- Approximate and exact deterministic parallel selection -- Defining soft sortedness by abstract interpretation -- A model for real-time process algebras (extended abstract) -- Data encapsulation and modularity: Three views of inheritance -- Image compression using Weighted Finite Automata -- Filter models for a parallel and non deterministic ?-calculus -- Real number computability and domain theory -- Lambda substitution algebras -- Global properties of 2D cellular automata: some complexity results -- Completeness results for linear logic on Petri nets -- An expressive logic for Basic Process Algebra -- The complexity of finding replicas using equality tests -- A complete axiomatization for branching bisimulation congruence of finite-state behaviours -- Object Oriented application flow graphs and their semantics -- Some hierarchies for the communication complexity measures of cooperating grammar systems -- Efficient parallel graph algorithms based on open ear decomposition -- On the communication complexity of parallel computation -- A taxonomy of forgetting automata -- Hybrid parallel programming and implementation of synchronised communication -- Proof systems for cause based equivalences -- A uniform universal CREW PRAM -- Observing located concurrency -- The boundary of substitution systems -- New algorithms for detecting morphic images of a word -- Ignoring nonessential interleavings in assertional reasoning on concurrent programs -- Constant time reductions in ?-calculus -- Heterogeneous unified algebras -- A representation theorem for lambda abstraction algebras -- On saturated calculi for a linear temporal logic -- The snack powerdomain for database semantics -- Verifying properties of module construction in type theory -- On time-space trade-offs in dynamic graph pebbling -- Deterministic behavioural models for concurrency -- Real-time refinement: Semantics and application -- Deciding testing equivalence for real-time processes with dense time -- A calculus for higher order procedures with global variables -- Variable substitution with iconic combinators -- Feature constraints with first-class features -- Between Min Cut and Graph Bisection -- Paths and cycles in finite periodic graphs -- Learning decision lists from noisy examples -- Analytic tableaux for finite and infinite Post logics. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS '93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular - algorithms and complexity, automata theory and theory of languages, - concurrent, distributed and real-time systems, - the theory of functional, logic and |
|
|
|
|
|
|
|
|
|
|
|
|
|
object-oriented programming, - lambda calculus and type theory, - semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions. |
|
|
|
|
|
|
2. |
Record Nr. |
UNICASCFI0557473 |
|
|
Autore |
Plutarchus |
|
|
Titolo |
15.2: Traité 72: Sur les notions communes, contre les stoïciens / Plutarque ; texte établi par Michel Casevitz ; traduit et commenté par Daniel Babut |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris, : Les belles lettres, 2002 |
|
|
|
|
|
|
|
Titolo uniforme |
De communibus notitiis adversus Stoicos |
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
464 p. ([51]-120 doppie) ; 20 cm |
|
|
|
|
|
|
Collana |
|
Collection des universités de France , . Sér. grecque ; 425 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484433703321 |
|
|
Titolo |
Job Scheduling Strategies for Parallel Processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers / / edited by Eitan Frachtenberg, Uwe Schwiegelshohn |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-90221-3 |
9786610902217 |
3-540-71035-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 264 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4376 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer systems |
Operating systems (Computers) |
Computer programming |
Algorithms |
Microprocessors |
Computer architecture |
Logic design |
Computer System Implementation |
Operating Systems |
Programming Techniques |
Processor Architectures |
Logic Design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Provably Efficient Two-Level Adaptive Scheduling -- Scheduling Dynamically Spawned Processes in MPI-2 -- Advance Reservation Policies for Workflows -- On Advantages of Scheduling Using Genetic Fuzzy Systems -- Moldable Parallel Job Scheduling Using Job Efficiency: An Iterative Approach -- Adaptive Job Scheduling Via Predictive Job Resource Allocation -- A Data Locality Aware Online Scheduling Approach for I/O-Intensive Jobs with File Sharing -- Volunteer |
|
|
|
|
|
|
|
|
|
|
|
Computing on Clusters -- Load Balancing: Toward the Infinite Network and Beyond -- Symbiotic Space-Sharing on SDSC’s DataStar System -- Modeling Job Arrivals in a Data-Intensive Grid -- On Grid Performance Evaluation Using Synthetic Workloads. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed postproceedings of the 12th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2006, held in Saint-Malo, France, in June 2006 in conjunction with the Joint International Conference on Measurement and Modeling of Computer Systems SIGMETRICS/Performance 2006. The 12 revised full research papers presented went through two rounds of reviewing and improvement. The papers cover all current issues of job scheduling strategies for parallel processing such as workflow problems, scheduling performance, job migration issues, performance degradation by resource sharing, and job modeling issues in grid computing. |
|
|
|
|
|
|
|
| |