Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10899
search results - page 407 / 2180
»
The GP Programming System
Sort
relevance
views
votes
recent
update
View
thumb
title
174
click to vote
TOOLS
2009
IEEE
150
views
Programming Languages
»
more
TOOLS 2009
»
Fast Simulation Techniques for Design Space Exploration
16 years 1 months ago
Download
www.mdd4dres.info
— In this paper, we present our current work on a UML based environment providing efficient means for system
Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
claim paper
Read More »
160
Voted
POS
1998
Springer
93
views
Programming Languages
»
more
POS 1998
»
Evaluating Usability Aspects of PJama Based on Source Code Measurements
15 years 11 months ago
Download
labs.oracle.com
PJama is a system that provides orthogonal persistence defined by reach
Stein Grimstad, Dag I. K. Sjøberg, Malcolm ...
claim paper
Read More »
159
click to vote
WSC
2004
168
views
Modeling And Simulation
»
more
WSC 2004
»
Ideas for Modeling and Simulation of Supply Chains with Arena
15 years 8 months ago
Download
www.informs-sim.org
This paper presents a research project being developed at the Industrial and Systems Engineering Graduate Program at the Catholic University of Paran
Guilherme Ernani Vieira
claim paper
Read More »
154
click to vote
IFIP
2009
Springer
95
views
Programming Languages
»
more
IFIP 2009
»
Specification and Verification of Side Channel Declassification
15 years 4 months ago
Download
www.cse.chalmers.se
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands
claim paper
Read More »
179
click to vote
VMCAI
2012
Springer
257
views
Software Engineering
»
more
VMCAI 2012
»
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
14 years 2 months ago
Download
www4.in.tum.de
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
claim paper
Read More »
« Prev
« First
page 407 / 2180
Last »
Next »