A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Dark matter revisited
2004
IEEE Internet Computing
Preserved Fulltext
I wonder how much cleaner SlimServer might be if it were instead written in Python and used a network programming framework, such as Twisted. ...
The Twisted framework represents a fairly complete architecture for networked applications. ...
doi:10.1109/mic.2004.8
fatcat:lhaif4l6svbp7mud57rxmgeyra
Rectilinear Location Revisited
1996
Journal of the Operational Research Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The key function is the function 0(-, -) defined on X x A”. ...
A GENERAL FRAMEWORK
For 6€ {—1, 1)", ie I define an affine function on R” by, for x € X,
a(x, 6) = 56,(x; — x}).
jeJ Let the set of all such 6 be A, ie. A= {6*}, ke K =(1, 2, ... 2"}. ...
doi:10.1057/jors.1996.16
fatcat:tukohqczqfhvbkmajsmhpvqb2y
Wave equations on space-times of low regularity: Existence results and regularity theory in the framework of generalized function algebras
[article]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We present recent developments concerning Lorentzian geometry in algebras of generalized functions. ...
These have, in particular, raised a new interest in refined regularity theory for the wave equation on singular space-times. ...
The program of this article is to report on recent developments in Lorentzian geometry in a generalised framework and to present results on the wave-equation on singular space-times. ...
arXiv:0711.1972v1
fatcat:7zmds4raxrgobfigwuifv2zgaq
Constraint Games revisited
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Constraint Games are a recent framework proposed to model and solve static games where Constraint Programming is used to express players preferences. ...
It yields not only a more elegant but also a more efficient framework. ...
Constraint Games [Nguyen and Lallouet, 2014] are a way to give games a compact representation by using Constraint Programming to represent utility functions. ...
doi:10.24963/ijcai.2017/101
dblp:conf/ijcai/PalmieriL17
fatcat:dgmredmbuvaspakcvsrwgc4qn4
Modal logic programming revisited
2009
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present optimizations for the modal logic programming system MProlog, including the standard form for resolution cycles, optimized sets of rules used as meta-clauses, optimizations for the version of ...
We also show that the labelling technique used in our direct approach is relatively better than the Skolemization technique used in the translation approaches for modal logic programming. ...
I would like to thank also Professor Andrzej Szałas for reading the draft of this paper and giving useful comments. ...
doi:10.3166/jancl.19.167-181
fatcat:rmitxrzmjncyjhio2h45d7no2e
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
2013
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The control software of the CERN Compact Muon Solenoid experiment contains over 30,000 finite state machines. ...
The sheer size of the system makes it virtually impossible to fully understand the details of its behaviour at the macro level. This is fuelled by unclarities that already exist at the micro level. ...
We also thank Frank Glege, Robert Gomez-Reino Garrido, Lorenzo Masetti and Giovanni Polese from the CERN CMS DAQ group, Stefan Schlenker from the ATLAS experiment and Ombretta Pinazza from the ALICE experiment ...
doi:10.1016/j.scico.2012.11.009
fatcat:4q6zkhcjungwzm4qj45ctyey2a
Symbolic pointer analysis revisited
2004
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In contrast to the classical frameworks where context-sensitive point-to information of a procedure has to be obtained by the application of its transfer function exponentially many times, our method can ...
In this paper, we refine the concept of symbolic transfer function proposed earlier and establish a common framework for both context-insensitive and context-sensitive pointer analysis. ...
of the symbolic framework to other program analysis problems. ...
doi:10.1145/996841.996860
dblp:conf/pldi/ZhuC04
fatcat:bq4a6b6v7zaaja2ii6j2is3tia
Symbolic pointer analysis revisited
2004
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In contrast to the classical frameworks where context-sensitive point-to information of a procedure has to be obtained by the application of its transfer function exponentially many times, our method can ...
In this paper, we refine the concept of symbolic transfer function proposed earlier and establish a common framework for both context-insensitive and context-sensitive pointer analysis. ...
of the symbolic framework to other program analysis problems. ...
doi:10.1145/996893.996860
fatcat:z62gjno7izagrd7ssarsoll2de
Space compression revisited
2000
IEEE Transactions on Instrumentation and Measurement
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, time compaction. ...
This paper discusses new space compression techniques for built-in self-testing (BIST) of VLSI circuits based on the use of compact test sets to minimize the storage requirements for the circuit under ...
ACKNOWLEDGMENT The authors are extremely grateful to the anonymous referees and to the Guest Editor Dr. ...
doi:10.1109/19.850416
fatcat:7iowgwaiqfhslibopm7jmmdn6q
Aliasing-free compaction revisited
2008
IET Circuits, Devices & Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The authors briefly present the mathematical basis of selection criteria for merger of an optimal number of outputs of the module under test for realising maximum compaction ratio in the design, along ...
The authors revisit the general problem of designing zero-aliasing (or aliasing-free) space compression hardware in relation to embedded cores-based SOC for single stuck-line faults in particular, extending ...
Acknowledgments The authors would like to thank the anonymous reviewers for their very valuable comments that immensely helped in the preparation of the revised version of the paper. ...
doi:10.1049/iet-cds:20070119
fatcat:xo2zjiri2revxmx6lsjnhkq6he
Polyhedra scanning revisited
2012
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Second, an if-statement simplification algorithm further reduces the number of comparisons in the code. ...
The strength of our approach lies in two new algorithms. ...
It should be pointed out that different mathematical frameworks other than Omega+ can be used as long as the same functionality is provided. ...
doi:10.1145/2254064.2254123
dblp:conf/pldi/Chen12
fatcat:zoszbrjkerdstbducfwc6j4knm
Summarized Dimensions Revisited
2012
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The task of summarizing memory regions becomes increasingly important in the analysis of data structures and the analysis of recursive functions. ...
Also, as the number of memory cells allocated in a program cannot be bounded a priori, it is crucial to summarize the information contained in different memory cells into one abstract memory cell to ensure ...
Indeed, in the abstract interpretation framework [1] the partial order C n , ⊆ can be seen as a concrete domain over which the semantics of the program is expressed. ...
doi:10.1016/j.entcs.2012.10.009
fatcat:yijk47md3vejldjxrxx72tmvue
Revisiting Fault-Injection Experiment-Platform Architectures
2011
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Trace recording and fault injection are among the core functionalities these tools provide for hardware debuggers or system simulators, partially including some means to automate larger experiment campaigns ...
Based on this analysis, we propose a novel architecture for a versatile FI experiment framework, based on the aspect-oriented programming (AOP) paradigm.
II. ...
Aspect-oriented programming (AOP, [8] ) is a technique known to facilitate this: So-called aspects-defining where ("pointcut") FI code (what: "advice") should be applied-allow for compact, well-encapsulated ...
doi:10.1109/prdc.2011.46
dblp:conf/prdc/SchirmeierHKLS11
fatcat:aeabsfmokfhnrcuoksoia3xznm
Student Leadership Programming Model Revisited
2006
Journal of Leadership Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The new model casts program styles against individual and group functions, thereby creating a more holistic perspective of the leadership phenomenon. ...
The model is also explored in relation to assessment, campus culture, and sample programs. ...
Community Involvement Similar to the recent rise of leadership development programs, there exists a reemergence of community service and service learning programs in higher education (Campus Compact, ...
doi:10.12806/v5/i3/tf1
fatcat:jrn2ktqefjeitbhoj2tsyadlye
Adversarial Reprogramming Revisited
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We prove that two-layer ReLU neural networks with random weights can be adversarially reprogrammed to achieve arbitrarily high accuracy on Bernoulli data models over hypercube vertices, provided the network ...
A trajectory of gradient flow is a function θ(t) : [0, ∞) → R k(d+1) that is an arc, i.e. it is absolutely continuous on every compact subinterval, and that satisfies the differential inclusion dθ dt ∈ ...
The program is initialised in such a way that after the application of the softsign function, each value lies uniformly at random in (−1, 1). ...
arXiv:2206.03466v1
fatcat:trujcde45vd73lg5xcbqv67k34
« Previous
Showing results 1 — 15 out of 20,872 results