Deductive verification of real-time systems using STeP von Bjørner, Nikolaj S., Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

Volltext

Verifying temporal properties of reactive systems: a STeP tutorial von Bjorner, Nikolaj S, Browne, Anca, Colon, Michael A, Finkbeiner, Bernd, Manna, Zohar, Sipma, Henny B, Uribe, Tomas E

Volltext

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings von Bjørner, Nikolaj, Prasad, Sanjiva, Parida, Laxmi

Volltext

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

An Efficient Task Consolidation Algorithm for Cloud Computing Systems von Panda, Sanjaya K., Jana, Prasanta K.

Volltext

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers von Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

Volltext

Minimal Start Time Heuristics for Scheduling Workflows in Heterogeneous Computing Systems von Sirisha, D., VijayaKumari, G.

Volltext

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

Energy Efficient SNR Based Clustering in Underwater Sensor Network with Data Encryption von Bandita, Sahu, Pabitra Mohan, Khilar

Volltext

Methods for capacity provisioning in wide area networks using optical bypassing von Bjorner, Nikolaj S, Gaudette, Jamie, Arnold, John Frederick, Singh, Rachee, Yin, Yawei

Volltext bestellen

Trust Based Target Coverage Protocol for Wireless Sensor Networks Using Fuzzy Logic von Chaturvedi, Pooja, Daniel, A. K.

Volltext

Optimization of Service Rate in a Discrete-Time Impatient Customer Queue Using Particle Swarm Optimization von Laxmi, Pikkala Vijaya, Jyothsna, Kanithi

Volltext

Matching based pattern inference for SMT solvers von de Moura Leonardo Mendonca, Bjorner Nikolaj S

Volltext bestellen

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings von Bjørner, Nikolaj, Voronkov, Andrei

Volltext

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

Volltext

System and method for compact form exhaustive analysis of security policies von Jayaraman Karthick, Bjorner Nikolaj S, Kaufman Charles W

Volltext bestellen

Optimized data stream compression using data-dependent chunking von BJORNER NIKOLAJ S, ABDO NADIM Y

Volltext bestellen

OPTIMIZED DATA STREAM COMPRESSION USING DATA-DEPENDENT CHUNKING von BJORNER, NIKOLAJ S, ABDO, NADIM Y

Volltext bestellen

Theorem-Carrying-Transaction: Runtime Certification to Ensure Safety for Smart Contract Transactions von Bjørner, Nikolaj S, Chen, Ashley J, Chen, Shuo, Chen, Yang, Guo, Zhongxin, Hsu, Tzu-Han, Liu, Peng, Luo, Nanqing

Volltext bestellen