Author image not provided
 Karl Palmskog

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article0.50
Citation Count3
Publication count6
Publication years2007-2017
Available for download3
Average downloads per article81.67
Downloads (cumulative)245
Downloads (12 Months)147
Downloads (6 Weeks)68
Arrow RightAuthor only

See all colleagues of this author

See all subject areas


7 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 7 of 7
Sort by:

1 published by ACM
January 2018 ACM Transactions on Modeling and Computer Simulation (TOMACS): Volume 28 Issue 1, January 2018
Publisher: ACM
Citation Count: 0
Downloads (6 Weeks): 115,   Downloads (12 Months): 125,   Downloads (Overall): 125

Full text available: PDFPDF
Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures conform to a probability distribution. However, reasoning analytically about the behavior of complex stochastic systems is generally infeasible. While simulations of systems are commonly used in engineering practice, they have not traditionally been used ...
Keywords: estimation, hypothesis testing, simulation, Statistical model checking, temporal logic

October 2017 ASE 2017: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
Publisher: IEEE Press
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 9,   Downloads (Overall): 9

Full text available: PDFPDF
Proof assistants such as Coq are used to construct and check formal proofs in many large-scale verification projects. As proofs grow in number and size, the need for tool support to quickly find failing proofs after revising a project increases. We present a technique for large-scale regression proof selection, suitable ...

3 published by ACM
November 2015 ACM SIGSOFT Software Engineering Notes: Volume 40 Issue 6, November 2015
Publisher: ACM
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 23,   Downloads (Overall): 63

Full text available: PDFPDF
Dynamic program analysis is widely used for detecting faults in software systems. Dynamic analysis tools conceptually either use a modified execution environment or inject instrumentation code into the system under test (SUT). Tools based on a modified environment, such as Java PathFinder (JPF), have full access to the state of ...
Keywords: instrumentation, Java PathFinder, dynamic analysis

September 2015 Service Oriented Computing and Applications: Volume 9 Issue 3-4, September 2015
Publisher: Springer-Verlag New York, Inc.
Citation Count: 0

In distributed computing, location transparency--the decoupling of objects from their physical location--is desirable in that it can simplify application development and enables efficient resource allocation. Many systems for location transparency are built on TCP/IP. We argue that addressing mobile objects in terms of temporary hosts may not be the best ...
Keywords: Distributed systems, Network protocols, Object mobility, Routing

February 2014 PDP '14: Proceedings of the 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Publisher: IEEE Computer Society
Citation Count: 0

In distributed computing, location transparency --the decoupling of objects, tasks, and virtual machines from their physical location --is desirable in that it can simplify application development and management, and enable load balancing and efficient resource allocation. Many existing systems for location transparency are built on top of TCP/IP. We argue ...
Keywords: distributed systems, routing, object mobility

6 published by ACM
October 2013 AGERE! 2013: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Publisher: ACM
Citation Count: 1
Downloads (6 Weeks): 2,   Downloads (12 Months): 2,   Downloads (Overall): 41

Full text available: PDFPDF
In distributed object systems, it is desirable to enable migration of objects between locations, e.g., in order to support efficient resource allocation. Existing approaches build complex routing infrastructures to handle object-to-object communication, typically on top of IP, using, e.g., message forwarding chains or centralized object location servers. These solutions are ...
Keywords: object mobility, distributed objects, programming languages, futures, network protocols, routing

February 2007 ECUMN '07: Proceedings of the Fourth European Conference on Universal Multiservice Networks
Publisher: IEEE Computer Society
Citation Count: 1

This paper presents an approach to the problem of facilitating dynamic and secure networking in a highly heterogeneous environment. The proposed design includes new architectural components and functions collected at a separate layer--the session layer--while leaving functionality inside the TCP/IP stack intact. Following an overview of the approach and the ...

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us