Results 201 to 210 of about 475,864 (241)
Some of the next articles are maybe not open access.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
Galois has developed a suite of symbolic simulation and formal analysis tools, collectively called the Software Analysis Workbench (SAW). SAW provides security analysts and engineers with the ability to generate formal models from C and Java programs and prove properties of those programs using several automated verification tools.
Kyle Carter +4 more
+4 more sources
Galois has developed a suite of symbolic simulation and formal analysis tools, collectively called the Software Analysis Workbench (SAW). SAW provides security analysts and engineers with the ability to generate formal models from C and Java programs and prove properties of those programs using several automated verification tools.
Kyle Carter +4 more
+4 more sources
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 2018
Token-based proximity authentication methods that authenticate users based on physical proximity are effortless, but lack explicit user intentionality, which may result in accidental logins. For example, a user may get logged in when she is near a computer or just passing by, even if she does not intend to use that computer. Lack of user intentionality
Shrirang Mare +3 more
openaire +2 more sources
Token-based proximity authentication methods that authenticate users based on physical proximity are effortless, but lack explicit user intentionality, which may result in accidental logins. For example, a user may get logged in when she is near a computer or just passing by, even if she does not intend to use that computer. Lack of user intentionality
Shrirang Mare +3 more
openaire +2 more sources
2011
Like all game changers within the horror genre, SAW was an independent success, a low-budget champion that flourished without the patronage of a big studio. Not bad for the most successful horror franchise ever, which has spawned subsidiary media and masses of merchandise, including a theme park rollercoaster ride.
David Morton, Terry E. Miller
+4 more sources
Like all game changers within the horror genre, SAW was an independent success, a low-budget champion that flourished without the patronage of a big studio. Not bad for the most successful horror franchise ever, which has spawned subsidiary media and masses of merchandise, including a theme park rollercoaster ride.
David Morton, Terry E. Miller
+4 more sources
Precision Sawing with Wire Saw
CIRP Annals, 1983Summary This paper deals with the development of new sawing method using wire and lapping compound. First, the mechanism of undulation generation in the sawed surfaces was analyzed, paying attention to changes in the distribution of sawing pressure applied on the wire and assuming the sawing process to be subject to Markov chains.
M. Fujisawa +4 more
openaire +1 more source
Proceedings of the 48th International Symposium on Microarchitecture, 2015
General-purpose computing on Graphics Processing Units (GPGPUs) became increasingly popular for a wide range of applications beyond traditional graphic rendering workloads. GPGPU exploits parallelism in applications via multithreading to hide memory latencies, and handles control complexity by barrier synchronizations.
Jiwei Liu, Jun Yang, Rami Melhem
openaire +1 more source
General-purpose computing on Graphics Processing Units (GPGPUs) became increasingly popular for a wide range of applications beyond traditional graphic rendering workloads. GPGPU exploits parallelism in applications via multithreading to hide memory latencies, and handles control complexity by barrier synchronizations.
Jiwei Liu, Jun Yang, Rami Melhem
openaire +1 more source
SAW and pseudo-SAW properties using matrix methods
IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, 1994Pseudo-surface-waves (PSAW's), or leaky SAW's, were first recognized over 25 years ago and the phase velocity (v(p)) and attenuation per wavelength (alphalambda) of PSAW modes for nonpiezoelectrics were calculated soon after. Since the seventies progress has been made in exploiting the higher velocities and electromechanical coupling constants (K(2 ...
E.L. Adler, L. Solie
openaire +4 more sources
Journal of Forensic and Legal Medicine, 2007
A case of an individual who died as a result of a self-inflicted circular saw injury to the head is presented. Death appeared to result from massive haemorrhage from injury to the superior sagittal sinus. The described mechanism of injury appears to be very unusual and may have reflected underlying issues.
O, Judd, J P, Wyatt
openaire +2 more sources
A case of an individual who died as a result of a self-inflicted circular saw injury to the head is presented. Death appeared to result from massive haemorrhage from injury to the superior sagittal sinus. The described mechanism of injury appears to be very unusual and may have reflected underlying issues.
O, Judd, J P, Wyatt
openaire +2 more sources