• Suche: "ACM: D.: Software"

Treffer 201 - 220 von 2.283

201

Formal Proof of Banach-Tarski Paradox
de Rauglaudre, Daniel ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Journal of Formalized Reasoning. 10(1):37-49

ACM: D.: Software D.3: PROGRAMMING LANGUAG... [MATH.MATH-LO]Mathematic... Logic [math.LO] [INFO.INFO-MS]Computer S... Mathematical Software [c...
Zeitschrift
Zu den Favoriten
202

Active Data: A Data-Centric Approach to Data Life-Cycle Management
Simonet, Anthony ; Fedak, Gilles ; Ripeanu, Matei ; et al.
PDSW '13 - 8th Parallel Data Storage Workshop. :39-44

Denver, United States distributed storage syst... data management ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... …
Konferenz
Zu den Favoriten
203

How We Design Interfaces, and How To Assess It
Abdeen, Hani ; Sahraoui, Houari ; Osama, Shata ; et al.
29th IEEE International Conference on Software Maintenance. :80-89

Eindhoven, Netherlands Object-Oriented Interfaces Interface Design Princip... Program to an Interface... Interface Segregation Pr... …
Konferenz
Zu den Favoriten
204

Safe CCSL Specifications and Marked Graphs
Mallet, Frédéric ; Millo, Jean-Vivien ; de Simone, Robert ; et al.
MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign. :157-166

Portland, United States ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.2: Design Tools and... ACM: F.: Theory of Compu... F.4: MATHEMATICAL LOGIC... …
Konferenz
Zu den Favoriten
205

The complexity of data aggregation in static and dynamic wireless sensor networks
Bramas, Quentin ; Tixeuil, Sébastien ; Networks and Performance Analysis (NPA) ; et al.
Information and Computation. 255(3):369-383

Dynamic graphs Complexity Data aggregation ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software …
Zeitschrift
Zu den Favoriten
206

A Component-Based Approach for Specifying Reusable Visual Languages
El Kouhen, Amine ; Gerard, Sébastien ; Dumoulin, Cedric ; et al.
2013 IEEE Symposium on Visual Languages and Human-Centric Computing. :135-138

San José, CA, United Sta... ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.2: Design Tools and... D.2.2.0: Computer-aided... D.2.2.7: Programmer work... …
Konferenz
Zu den Favoriten
207

Monitoring as-a-service to drive more efficient future system design
Lemoine, Frédéric ; Aubonnet, Tatiana ; Henrio, Ludovic ; et al.
EAI Endorsed Transactions on Cloud Systems. 3(9):1-15

As a Service Monitoring Quality of service Self-control Service component Service composition …
Zeitschrift
Zu den Favoriten
208

Leveraging Collaborative Content Exchange for On-Demand VM Multi-Deployments in IaaS Clouds
Nicolae, Bogdan ; Rafique, Mustafa ; Exascale Systems ; et al.
Euro-Par '13: 19th International Euro-Par Conference on Parallel Processing. :305-316

Aachen, Germany ACM: D.: Software D.4: OPERATING SYSTEMS D.4.7: Organization and... D.4.7.1: Distributed sys... D.4.2: Storage Managemen... …
Konferenz
Zu den Favoriten
209

Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies
Ciolfi Felice, Marianela ; Ferreira Filho, Joao Bosco ; Acher, Mathieu ; et al.
MAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering. :82-85

Tokio, Japan ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.13: Reusable Softwar... D.2.13.0: Domain enginee... D.2.2: Design Tools and... …
Konferenz
Zu den Favoriten
210

Towards Certifying Network Calculus
Mabille, Etienne ; Boyer, Marc ; Féjoz, Loic ; et al.
ITP - 4th International Conference on Interactive Theorem Proving. :484-489

Rennes, France ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.2: Correctness pro... …
Konferenz
Zu den Favoriten
211

Handcrafted Inversions Made Operational on Operational Semantics
Monin, Jean-François ; Shi, Xiaomu ; Formal Methods for Embedded Systems (FORMES) ; et al.
ITP 2013 - 4th International Conference Interactive Theorem Proving. :338-353

Rennes, France Coq inversion ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software …
Konferenz
Zu den Favoriten
212

Synchronous byzantine agreement with nearly a cubic number of communication bits
Kowalski, Dariusz R. ; Mostefaoui, Achour ; Department of Computer Science [Liverpool] ; et al.
ACM symposium on Principles of distributed computing (PODC'13). :84-91

New-York, United States Agreement problem Synchronous distributed... Byzantine process Message-passing model Round-based protocol …
Konferenz
Zu den Favoriten
213

A Component-Based Approach for Specifying DSML's Concrete Syntax
El Kouhen, Amine ; Dumoulin, Cedric ; Gerard, Sébastien ; et al.
2nd Workshop on Graphical Modeling Language Development (GMLD 2013). :3-11

Montpellier, France ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.6: Programming Envir... D.2.2: Design Tools and... D.2.13: Reusable Softwar... …
Konferenz
Zu den Favoriten
214

Programming and Timing Analysis of Parallel Programs on Multicores
Yip, Eugene ; Roop, Partha ; Biglari-Abhari, Morteza ; et al.
International Conference on Application of Concurrency to System Design. :167-176

Barcelona, Spain Synchronous programming ACM: B.: Hardware B.8: PERFORMANCE AND REL... B.8.2: Performance Analy... ACM: C.: Computer System... …
Konferenz
Zu den Favoriten
215

The Abstract Domain of Segmented Ranking Functions
Urban, Caterina ; Abstract Interpretation and Static Analysis (ABSTRACTION) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
Static Analysis. :43-62

Seattle, United States ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.3: Formal methods …
Konferenz
Zu den Favoriten
216

Programming Robots With Events
Le, Truong Giang ; Fedosov, Dmitriy ; Hermant, Olivier ; et al.
4th International Embedded Systems Symposium (IESS). :14-25

Paderborn, Germany context-aware reactive s... parallel programming robotics event-based programming ACM: D.: Software …
Konferenz
Zu den Favoriten
217

Components Mobility for Energy Efficiency of Digital Home
Druilhe, Rémi ; Anne, Matthieu ; Pulou, Jacques ; et al.
16th ACM SIGSOFT International Symposium on Component-Based Software Engineering. :153-158

Vancouver, Canada Energy Efficiency Deployment Constraints Components Mobility Digital Home ACM: D.: Software …
Konferenz
Zu den Favoriten
218

AI-Ckpt: Leveraging Memory Access Patterns for Adaptive Asynchronous Incremental Checkpointing
Nicolae, Bogdan ; Cappello, Franck ; Joint Laboratory for Petascale Computing [Illinois] (JLPC) ; et al.
HPDC '13: 22th International ACM Symposium on High-Performance Parallel and Distributed Computing. :155-166

New York, United States ACM: D.: Software D.4: OPERATING SYSTEMS D.4.5: Reliability D.4.7: Organization and... D.4.7.1: Distributed sys... …
Konferenz
Zu den Favoriten
219

A Causal Model to predict the Effect of Business Process Evolution on Quality of Service
Feugas, Alexandre ; Mosser, Sébastien ; Duchien, Laurence ; et al.
Conference on the Quality of Software Architectures (QoSA). :143-152

Vancouver, Canada Business Process Evolution Quality of Service Causal Model ACM: D.: Software …
Konferenz
Zu den Favoriten
220

Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones
Haderer, Nicolas ; Rouvoy, Romain ; Seinturier, Lionel ; et al.
13th International IFIP Conference on Distributed Applications and Interoperable Systems (DAIS). :43-56

Florence, Italy ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.8: Metrics D.2.8.1: Performance mea... ACM: C.: Computer System... …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter